//
// Copyright (c) Microsoft Corporation.  All rights reserved.
//
//
// Use of this sample source code is subject to the terms of the Microsoft
// license agreement under which you licensed this sample source code. If
// you did not accept the terms of the license agreement, you are not
// authorized to use this sample source code. For the terms of the license,
// please see the license agreement between you and Microsoft or, if applicable,
// see the LICENSE.RTF on your install media or the root of your tools installation.
// THE SAMPLE SOURCE CODE IS PROVIDED "AS IS", WITH NO WARRANTIES OR INDEMNITIES.
//
//
// (C) Copyright 2006 Marvell International Ltd.
// All Rights Reserved
//
//------------------------------------------------------------------------------
//
//  File:  ioctl_tab.h
//
//  Configuration file for the OAL IOCTL component.
//
//  This file is included by the platform's ioctl.c file and defines the 
//  global IOCTL table, g_oalIoCtlTable[]. Therefore, this file may ONLY
//  define OAL_IOCTL_HANDLER entries. 
//
// IOCTL CODE,                          Flags   Handler Function
//------------------------------------------------------------------------------

{ IOCTL_HAL_TRANSLATE_IRQ,                  0,  OALIoCtlHalRequestSysIntr   },
{ IOCTL_HAL_REQUEST_SYSINTR,                0,  OALIoCtlHalRequestSysIntr   },
{ IOCTL_HAL_RELEASE_SYSINTR,                0,  OALIoCtlHalReleaseSysIntr   },
{ IOCTL_HAL_REQUEST_IRQ,                    0,  OALIoCtlHalRequestIrq       },

{ IOCTL_HAL_GET_HIVE_CLEAN_FLAG,            0,  OALIoCtlHalGetHiveCleanFlag },
{ IOCTL_HAL_INITREGISTRY,                   0,  OALIoCtlHalInitRegistryLittleton },
{ IOCTL_HAL_INIT_RTC,                       0,  OALIoCtlHalInitRTC          },
{ IOCTL_HAL_REBOOT,                         0,  OALIoCtlHalReboot           },

{ IOCTL_HAL_DDK_CALL,                       0,  OALIoCtlHalDdkCall          },

{ IOCTL_HAL_DISABLE_WAKE,                   0,  OALIoCtlHalDisableWake      },
{ IOCTL_HAL_ENABLE_WAKE,                    0,  OALIoCtlHalEnableWake       },
{ IOCTL_HAL_GET_WAKE_SOURCE,                0,  OALIoCtlHalGetWakeSource    },
{ IOCTL_HAL_PRESUSPEND,                     0,  OALIoCtlHalPreSuspend       },

{ IOCTL_HAL_GET_CACHE_INFO,                 0,  OALIoCtlHalGetCacheInfo     },
{ IOCTL_HAL_GET_RNDIS_MACADDR,                 0,  OALIoCtlHalGetRNDISMACADDR     },
//{ IOCTL_HAL_GET_DEVICE_INFO,                0,  OALIoCtlHalGetDeviceInfo    },
{ IOCTL_HAL_GET_DEVICE_INFO,                0, OALGetDeviceInfo            },
{ IOCTL_HAL_GET_DEVICEID,                   0,  OALIoCtlHalGetDeviceId      },
{ IOCTL_HAL_GET_UUID,                       0,  OALIoCtlHalGetUUID          },
{ IOCTL_PROCESSOR_INFORMATION,              0,  OALIoCtlProcessorInfo       },
{ IOCTL_HAL_PROFILE,                        0,  OALIoCtlHalProfile          },

#ifdef IOCTL_HAL_UPDATE_MODE
{ IOCTL_HAL_UPDATE_MODE,                    0,  OALIoCtlHalSetUpdateMode    },
#endif

{ IOCTL_HAL_INITREGISTRY,                   0,  OALIoCtlHalInitRegistryLittleton },
{ IOCTL_HAL_INIT_RTC,                       0,  OALIoCtlHalInitRTC          },
{ IOCTL_HAL_REBOOT,                         0,  OALIoCtlHalReboot           },

{ IOCTL_HAL_GET_HWENTROPY,                  0,  OALIoCtlHalGetHWEntropy     },
{ IOCTL_HAL_GET_RANDOM_SEED,                0,  OALIoCtlHalGetRandomSeed    },
{ IOCTL_HAL_GETREGSECUREKEYS,               0,  OALIoCtlHalGetRegSecureKeys },

{ IOCTL_HAL_QUERY_FORMAT_PARTITION,         0,  OALIoCtlHalQueryFormatPartition },

{ IOCTL_VBRIDGE_802_3_MULTICAST_LIST,       0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_ADD_MAC,                    0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_CURRENT_PACKET_FILTER,      0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_GET_ETHERNET_MAC,           0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_GET_RX_PACKET,              0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_GET_RX_PACKET_COMPLETE,     0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_GET_TX_PACKET,              0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_GET_TX_PACKET_COMPLETE,     0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_SHARED_ETHERNET,            0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_WILD_CARD,                  0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_WILD_CARD_RESET_BUFFER,     0,  OALIoCtlVBridge             },
{ IOCTL_VBRIDGE_WILD_CARD_VB_INITIALIZED,   0,  OALIoCtlVBridge             },
{ IOCTL_EDBG_SEND,							0,  OALIoCtlEdbgSend			},
{ IOCTL_GET_BSP_ARGS,						0,	OALIoCtlHalGetBspArgs		},
{ IOCTL_HAL_SET_LCD,						0,  OALIoCtlHalSetLcd		},

{IOCTL_GET_PHYSICAL_ADDRESS,                0,  OALIoCtlGetPhysicalAdress},
{IOCTL_SET_PHYSICAL_ADDRESS,                0,  OALIoCtlSetPhysicalAdress},

#ifdef USING_XSCALEBROWSER

#include <dbg_ioctl_tab.h>

#endif //#ifdef USING_XSCALEBROWSER

// For IOCTL_IPM_KERNEL
#include <ipm_ioctl_tab.h>



// Required Termination
{ 0,                                        0,  NULL                        }
